(DEFPROP <RTLST> (LAMBDA NIL (NLRR (QUOTE RTLST) (FUNCTION (LAMBDA NIL (COND ((AND (<RTPT>) (<SEXPR>) (<RTLST>)) (CONS (CONS (STK 2) (CONS (STK 1) NIL)) (STK 0))) ((AND (<RTPT>) (CH /[) (<SEXPR>) (CH /]) (<RTLST>)) (CONS (CONS (STK 4) (CONS (CONS (QUOTE COMPILE) (STK 2)) NIL)) (STK 0))) ((AND) NIL) (*NIL*)))))) EXPR)